Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations
نویسندگان
چکیده
The high-quality modeling experiences embedded in the more mature graphical OO methods (OOMs) makes their application to complex systems attractive, but the lack of rm semantic bases for the model-ing notations can signiicantly hamper the development of such systems. One approach to making OOMs more precise and amenable to rigorous analysis is to integrate them with suitable formal modeling techniques. In this paper we describe a technique for integrating an OOM, the Fusion method, and a formal speciication notation, Z.
منابع مشابه
Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams
As the impact of and demand for software increases, there is greater need for rigorous software development techniques that can be used by a typical software engineer. In order to integrate informal and formal approaches to software development, we added formal syntax and semantics definitions to existing object-oriented modeling notations. This formalization enables developers to construct obj...
متن کاملA Formal Object - Oriented CASE Tool for theDevelopment of Complex
An increasing number of CASE tools based on object-oriented methods (OOMs) are appearing in the marketplace. Despite their good qualities, OOMs produce models that are not amenable to rigorous semantic analysis. This problem can be attributed to the lack of rm semantic basis for the modeling notations and concepts such as those found in formal methods. Formal and graphical informal analysis tec...
متن کاملA Systematic Approach to Transform UML Static Models to Object-Oriented Code
Formal and semi-formal techniques can play complementary roles in objectoriented software development. The purpose of this chapter is to present a reusebased rigorous method to forward engineering UML static models. This approach is based on the integration of semi-formal notations in UML with the algebraic style. The main contributions of this chapter are the definition of the GSBLoo algebraic...
متن کاملIntegrating Informal and Formal Approaches to Requirements Modeling and Analysis
The Unified Modeling Language (UML) comprises several different notations for object-oriented modeling with no formal semantics attached to the individual diagrams. We have developed a generic framework for formalizing a subset of UML diagrams in terms of various formal languages, with a focus on embedded systems. We have formalized UML in terms of Promela, thus enabling analysis of the UML dia...
متن کاملTransforming UML Models to Formal Speci cations
The Uni ed Modeling Language (UML) is considered a signi cant step in the development of object-oriented (OO) notations in that it is based on some of the best OO modeling experiences. In this paper we are considering more speci cally its use in the context of high-quality modeling of complex systems. We believe that the lack of rm semantics for the modeling notations used makes, among others, ...
متن کامل